\begin{tabbing}
((((UnivCD) 
\\[0ex]C\=ollapseTHENA (Auto$\cdot$))$\cdot$) \+
\\[0ex]CollapseTHEN ((if (((first\_nat 2:n
\-\\[0ex])) = 0) then (Repeat (((D (0)$\cdot$) 
\\[0ex]CollapseTHENA (MaAuto$\cdot$))$\cdot$)) else (RepeatFor (first\_nat 
\\[0ex]2:n) (((D (0)$\cdot$) 
\\[0ex]CollapseTHENA (MaAuto$\cdot$))$\cdot$)))$\cdot$))$\cdot$
\end{tabbing}